#include "mmu.h"
#include "i386.h"

unsigned int* inicializar_dir_kernel(){
		unsigned int base = 0;
		unsigned int *dirbase =(unsigned int *) 0x00100000;
		unsigned int *tablebase =(unsigned int *) 0x00101000;
		*dirbase =((unsigned int) tablebase | 3);
		for(base=0; base < 0x3fffff; base += TAMANO_PAGINA) {
			*tablebase =(base | 3);
			tablebase++;
		}
		return dirbase;
}
 
